Supporting the Validation of Adequacy in Requirements-Based Hazard Mitigations
نویسندگان
چکیده
[Context and motivation] In practice, validating functional safety requirements is mainly done by means of reviews, which require large amounts of contextual information about hazards, such as safety goals or the operational conditions under which the hazard occurs. [Question/problem] This information is often scattered across a plethora of artifacts produced particularly during requirements engineering and safety assessment. In consequence, there is a risk that not all relevant information is considered during reviews, leading to subjective and misjudged results. [Principal ideas/results] In order to improve the consideration of all relevant information necessary to validate functional safety requirements, we propose a diagrammatic representation integrating all relevant contextual information. [Contribution] We hypothesize that reviewers are more likely to base their judgment on the relevant contextual information about the hazard, which increases objectivity and confidence in review results. To support this hypothesis, we report preliminary results of an empirical study.
منابع مشابه
Fault Tree Analysis for Safety/Security Verification in Aviation Software
The Next Generation Air Traffic Management system (NextGen) is a blueprint of the future National Airspace System. Supporting NextGen is a nation-wide Aviation Simulation Network (ASN), which allows integration of a variety of real-time simulations to facilitate development and validation of the NextGen software by simulating a wide range of operational scenarios. The ASN system is an environme...
متن کاملFactors Affecting the Creation of Non-Performing Loans in the Iranian banking Industry and estimating the Effects of its measurement based on the implementation of IFRS requirements
How to identify, measure and Write-Off of Non-Performing loans under Iranian accounting standards is significantly different from IFRS. The purpose of this study is to identify the factors affecting the creation and increase of Non-Performing loans (NPLs) in the Iranian banking industry and the effects of measuring it through the implementation of IFRS. In this regard, after conducting a System...
متن کاملAspect-oriented specification of threat-driven security requirements
This paper presents an aspect-oriented approach to integrated specification of functional and security requirements based on use-case-driven software development. It relies on explicit identification of security threats and threat mitigations. We first identify security threats with respect to use-case-based functional requirements in terms of security goals and the STRIDE category. Then, we su...
متن کاملPsychometric Adequacy of the Persian Version of the Performance Management Behavior Questionnaire in Universities
Introduction: Despite interest in improving performance management in universities, few studies have examined this topic. Because of the absence of validated tools in Iran for assessing behavior performance management, this study was conducted to validate the behavior performance management scale. Objective: This study aimed to assess the psychometric adequacy of the Performance Management Beh...
متن کاملExperimental Validation of a Risk Assessment Method
[Context and motivation] It is desirable that requirement engineering methods are reliable, that is, that methods can be repeated with the same results. Risk assessments methods, however, often have low reliability when they identify risk mitigations for a system based on expert judgement. [Question/problem] Our goal is to assess the reliability of an availability risk assessment method for tel...
متن کامل